『証明の読み方・考え方〔原著第6版〕: 数学的思考過程への手引き』
『
証明
の読み方・考え方〔原著第6版〕:
数学的思考過程
への手引き』
https://m.media-amazon.com/images/I/41SZcPSTLkL._SY445_SX342_.jpg
2023/11/25
Daniel Solow
著
西村康一
翻訳
服部久美子
翻訳
共立出版
目次
第1章
数学的に真理である
とはどういうことか
第2章
前進後退法
第3章 定義と
数学用語
について
第4章
量化詞
1:
構成法
第5章 量化詞2:
抽出法
第6章 量化詞3:
特殊化
第7章 量化詞4:
入れ子の量化詞
第8章
主張の否定
をどう書くか
第9章
背理法
第10章
対偶法
第11章
一意性の証明法
第12章
帰納法
第13章
二者択一法
第14章
最大最小の証明法
第15章 まとめ
付録1
離散数学
からの証明の例
付録2
実解析
からの証明の例